Experimental comparison of the quality of TFSM- based test suites for the UML diagrams
نویسنده
چکیده
The paper presents the experimental comparison of the quality of three test suites based on the model of a Finite State Machine with timeouts, namely, the explicit enumeration of faulty mutants, transition tour and TFSM-based black-box test. Test suites are then applied to the program, automatically generated via the UML tool. The experimental results on the quality of the above mentioned test suites and the corresponding analysis are presented. Keywords—Finite State Machines with timeouts, the UML state machine diagrams, test suites
منابع مشابه
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
Cow_Suite provides an integrated and practical approach to the strategic generation and planning of UML-based test suites, since the early stages of system analysis and modeling. It consists of two original components working in combination: the Cowtest strategy, which organizes the testing process and helps the manager to select among the many potential test cases, and the UIT method, which pe...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملAutomated Model-Based Test Path Generation from UML Diagrams via Graph Coverage Techniques
UML State Chart Diagrams are the basic models used to derive test paths from intermediate graphs generated automatically using graph coverage techniques in addition to the tool support provided by MBT Tool TestOptimal’s Basic as well as ProMBT version. The test Paths Generated covers Node Coverage, Edge Coverage, Edge Pair Coverage as well as most importantly Prime Path coverage which is till t...
متن کاملPetrography, geochemistry and petrogenesis of Damavand volcano: Comparison of different volcanic generations
1-Introduction Damavand volcano was formed by explosive and non-explosive eruptions on the old eroded rock units (Mesozoic and older) of Central Alborz during the Quaternary period and formed two huge cone (Old and Young Damavand). Davidson et al. (2004) determined the time of Old-Damavand activity from 1800 to 800 thousand years ago by measuring Ar/Ar and U-Th/He methods. According to their ...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل